اثباتی از تمامیت برای منطق مرتبه اول پیوسته
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
- author الهام حیدرزاده
- adviser مجتبی آقایی
- Number of pages: First 15 pages
- publication year 1393
abstract
هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان می کند که اگرσι=φ، بنابراین اثبات های متناهی از σ می توانند تقریب های دلخواهی از درستی φ را بدست دهد. به علاوه مسئله ای متفاوت که در نظریه مدل به طور سنتی مطرح می شود یعنی تصمیم پذیری را بررسی می کنیم. از تمامیت منطق مرتبه اول پیوسته حاصل می شود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارش پذیر بازگشتی) تصمیم پذیر است.
similar resources
تمامیت در منطق پیوسته
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت ...
15 صفحه اولتمامیت منطق رواقی
تمامیت منطق رواقی، برخلاف تمامیت منطق گزاره‌ای جدید که از‌سوی منطق‌دانان معاصر پذیرفته شده موضوعی موردتشکیک است. در این مقاله، پس از بررسی نظام‌های گوناگونی که پژوهش‌گران مختلف براساس گفتارهای منطق‌دانان رواقی بازسازی کرده‌اند، به تمامیت این نظام‌ها اشاره و نشان داده می‌شود که هیچ‌یک از این نظام‌های بازسازی‌شده نمی‌توانند معیارهای اساسی رواقیان دربارة استدلال‌های معتبر را برآورده سازند و براین...
full textمنطق پیوسته
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...
full textمنطق وجهی کلاسیک مرتبه اول
در این پایان نامه سیستم های کلاسیک مرتبه اول با استفاده از مدل های همسایگی مرتبه اول بررسی خواهند شد. در این مدل ها قالب های اصل موضوعی بارکان و عکس آن بر خلاف مدل های کریپکی همیشه معتبر نیستند. در فصل یک ابتدا منطق وجهی گزاره ای و معناشناسی همسایگی را به عنوان مطالب مقدماتی بررسی کرده و تعدادی از قضایای پایه ای در این زمینه را بیان می کنیم. در فصل دو معناشناسی کریپکی برای منطق وجهی مرتبه او...
15 صفحه اولتصمیم ناپذیری منطق مرتبه اول
توسط محاسبات نمادین اثبات های ساده ای برای تصمیم ناپذیری منطق مرتبه اول و نظریه های ساختارهای پایه ای (مانند الحاق یا حساب) به دست می آیند. با استفاده از دستورزبان ها یک اثبات برای نشان دادن اینکه اعتبار در منطق مرتبه اول تصمیم ناپذیر است (برای فرمول هایی با سور پیشوند ?? در زبان شامل حداقل یک رابطه یک تایی و تابع دوتایی) ارایه می کنیم. یک اثبات مشابه، قضیه ناتمامیت اول گودل برای ساختار رشته ها...
15 صفحه اولممیزی تمامیت در نتایج پرس و جوهای پیوسته
علی‌رغم آنکه استفاده از خدمات سرورهای برونسپاری شده جریان داده مورد اقبال زیادی قرار گرفته ولی هنوز مساله کسب اطمینان از جامعیت نتایج دریافتی از این سرورها یکی از چالش‌های اساسی سازمانها است. برای برونسپاری این خدمات، کاربر باید از عملکرد درست و امانت‌دارانه سرور و کانال ارتباطی مطمئن شود چرا که سرور ممکن است به دلایل اقتصادی و یا بدخواهانه جامعیت نتایج را مورد حمله قرار دهد. در این حملات بخشی ...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023